formal logic

His analyses and interpretations of I Ching were also much of formal logic.

他对易之道德世界的分析与解释也是极其形式化的逻辑的.

And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.

证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。

The development of the modern formal logic has provided us with an untraditional way to be in search of truth.

现代形式逻辑的发展为我们提供了一种不同于传统的求真方式。

Modern formal logic holding guide ideology of the philosophy that is about dialectical materialism and object theory about logic reveals two independence of apodeictic relation about reasoning between premise and conclusion.

持辩证唯物论逻辑客体说哲学指导思想的当代形式逻辑揭示了推理的前提与结论间的必然关系的两个独立性。

The development of formal logic and its implementation in computing machinery is fundamental to computer science.

发展形式逻辑和其执行情况的计算机是计算机科学的基础。

In the investigation, first, the description logic is used to express the syntax and semantic of domain ontology and to implement the formal translation of domain onto-logy.

首先采用描述逻辑表达领域本体的语法和语义，实现领域本体的形式化转换；

You arrived at your conclusion using the methods of formal logic.

你这个结论是按照形式逻辑的方法推论出来的.